搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Distributed computing : IWDC 2003 : 5th international workshop, Kolkata, India, December 27-30, 2003 : proceedings 0 索取号：TP274-532/E20041/5 作者：IWDC 2003 (5th : 2003 : Calcutta、 India)、Das、 Samir R.、Das、 Sajal K.、出版社：Berlin ; New York : Springer, c2003.		Beijing, Hanoi, and the overseas Chinese 0 索取号：D829.333/20041 作者：Chang、 Pao-min.、University of California、 Berkeley. Center for Chinese Studies.、出版社：[Berkeley] : University of California, c1982.
	Energy for survival : course of lectures contributed in the 20th International Science School for High School Students, sponsored by the Science Foundation for Physics within the University of Sydney, at the University of Sydney, 27 August - 7 September, 1979 0 索取号：F416.5/E802 作者：International Science School for High School Students (20th : 1979 : University of Sydney)、Messel、 H. (Harry)、 1922-、出版社：[Rushcutters Bay, Australia] : Pergamon Press, 1979.		Condensed matter nuclear science : ICCF-9 2002 China : proceedings of the 9th International Conference on Cold Fusion, May 19-24, 2002, International Convention Center at Tsinghua University, Beijing, China 0 索取号：TL6-532/E20041/9 作者：International Conference on Cold Fusion (9th : 2002 : Beijing、 China)、Li、 Xing Z. (李兴中)、出版社：北京 : 清华大学出版社, 2003.
	Sears and Zemansky's university physics / Hugh D. Young, Roger A. Freeman = 西尔斯̃物理学 0 索取号：O4/E20042.10 作者：Young、 Hugh D.、Freedman、 Roger A.、出版社：北京 : 机械工业出版社, 2003.		Current and new directions in discourse and dialogue 0 索取号：H0-532/E20045 作者：SIGdial Workshop on Discourse and Dialogue (2nd : 2001 : Aalborg、 Denmark)、Kuppevelt、 Jan van.、Smith、 Ronnie W.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
	Integrated circuit and system design : power and timing modeling, optimization andsimulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12,2003 : proceedings 0 索取号：TN47-532/E20042/13 作者：PATMOS 2003 (2003 : Turin、 Italy)、Chico、 Jorge Juan.、Macii、 Enrico.、出版社：Berlin ; New York : Springer, c2003.		Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003: proceedings 0 索取号：TP311.1-532/E20041/7 作者：SCOPES 2003 (2003 : Vienna、 Austria)、Krall、 Andreas、 1960-、出版社：Berlin ; New York : Springer, 2003.
	Free electron lasers 2002 : proceedings of the 24th International Free Electron Laser Conference, and the 9th FEL Users Workshop, Argonne, Illinois, U.S.A., September 9-13, 2002 0 索取号：TN248.6-532/E20041/24 作者：International Free Electron Laser Conference (24th : 2002 : Argonne、 Ill.)、Kim、 K.- J.、Milton、 S. V.、Gluskin、 E.、出版社：Amsterdam ; Boston : Elsevier, 2003.		Optical properties of 2D systems with interacting electrons 0 索取号：O43-532/E20041 作者：NATO Advances Research Workshop "OpticalProperties of 2D Systems with Interacting Electrons" (2002 : Educational Center of the Ioffe Physico-Technical Institute)、Ossau、 Wolfgang J.、Suris、 R. A.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers : Published in cooperation with NATO Scientific Affairs Division, c2003.
	MobiDE 2003 : proceedings of the Third ACM International Workshop on Data Engineering for Wireless and Mobile Access : September 19, 2003, San Diego, California, USA 0 索取号：TN92-532/E20041/3 作者：ACM International Workshop on Data Engineering for Wireless and Mobile Access (3rd: 2003 : San Diego、 Calif.)、Labrinidis、 Alexandros.、Cherniack、 Mitch.、Banerjee、 Sujata.、Association for Computing Machinery. Special Interest Group on Management of Data.、ACM SIGMOBILE.、Association for Computing Machinery.、International Conference on Mobile Computing and Networking (9th : 2003 : San Diego、 Calif.)、出版社：New York, N.Y. : Association for Computing Machinery, 2003.		ACM MSWiM 2003 : proceedings of the 6th ACM International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM), September 19th, 2003, San Diego, California, USA 0 索取号：TN92-532/E20042/6 作者：ACM International Workshop on Modeling、 Analysis and Simulation of Wireless and Mobile Systems (6th : 2003 : San Diego、 California、 USA)、Chiasserini、 Carla-Fabiana.、ACM SIGMOBILE.、IEEE Computer Society.、出版社：New York, N.Y. : Association for Computing Machinery, c2003.
	Post-colonial Chinese literatures in Singapore and Malaysia 0 索取号：I330.065/E20031 作者：Wong、 Yoon Wah.、National University of Singapore. Dept. of Chinese Studies.、出版社：Singapore : Department of Chinese Studies, National University of Singapore, Global Publishing, 2002.		Vector bundles and representation theory: Conference on Hilbert Schemes, Vector Bundles, and Their Interplay with Representation Theory, April 5-7, 2002, University ofMissouri, Columbia 0 索取号：O18-532/E20041 作者：Conference on Hilbert Schemes、 Vector Bundles、 and Their Interplay with Representation Theory (2002 : University of Missouri--Columbia).、Cutkosky、 Steven Dale.、出版社：Providence, R.I. : American Mathematical Society, c2003.
	Function spaces : Fourth Conference on Function Spaces, May 14-19, 2002, Southern Illinois University at Edwardsville 0 索取号：O177-532/E20041 作者：Conference on Function Spaces (4th : 2002 : Southern Illinois University at Edwardsville).、Jarosz、 Krzysztof、 1953-、出版社：Providence, R.I. : American Mathematical Society, c2003.		Real and complex singularities : the sixth workshop at S?o Carlos 0 索取号：O189.3-532/E20041 作者：International Workshop on Real and Complex Singularities (6th : 2000 : ŜО Carlos、 ŜО Paulo、 Brazil)、Mond、 D. (David)、Saia、 Marcelo Jos、出版社：New York : Marcel Dekker, c2003.

	Distributed computing : IWDC 2003 : 5th international workshop, Kolkata, India, December 27-30, 2003 : proceedings 0 索取号：TP274-532/E20041/5 作者：IWDC 2003 (5th : 2003 : Calcutta、 India)、Das、 Samir R.、Das、 Sajal K.、出版社：Berlin ; New York : Springer, c2003.		Beijing, Hanoi, and the overseas Chinese 0 索取号：D829.333/20041 作者：Chang、 Pao-min.、University of California、 Berkeley. Center for Chinese Studies.、出版社：[Berkeley] : University of California, c1982.
	Energy for survival : course of lectures contributed in the 20th International Science School for High School Students, sponsored by the Science Foundation for Physics within the University of Sydney, at the University of Sydney, 27 August - 7 September, 1979 0 索取号：F416.5/E802 作者：International Science School for High School Students (20th : 1979 : University of Sydney)、Messel、 H. (Harry)、 1922-、出版社：[Rushcutters Bay, Australia] : Pergamon Press, 1979.		Condensed matter nuclear science : ICCF-9 2002 China : proceedings of the 9th International Conference on Cold Fusion, May 19-24, 2002, International Convention Center at Tsinghua University, Beijing, China 0 索取号：TL6-532/E20041/9 作者：International Conference on Cold Fusion (9th : 2002 : Beijing、 China)、Li、 Xing Z. (李兴中)、出版社：北京 : 清华大学出版社, 2003.
	Sears and Zemansky's university physics / Hugh D. Young, Roger A. Freeman = 西尔斯̃物理学 0 索取号：O4/E20042.10 作者：Young、 Hugh D.、Freedman、 Roger A.、出版社：北京 : 机械工业出版社, 2003.		Current and new directions in discourse and dialogue 0 索取号：H0-532/E20045 作者：SIGdial Workshop on Discourse and Dialogue (2nd : 2001 : Aalborg、 Denmark)、Kuppevelt、 Jan van.、Smith、 Ronnie W.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
	Integrated circuit and system design : power and timing modeling, optimization andsimulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12,2003 : proceedings 0 索取号：TN47-532/E20042/13 作者：PATMOS 2003 (2003 : Turin、 Italy)、Chico、 Jorge Juan.、Macii、 Enrico.、出版社：Berlin ; New York : Springer, c2003.		Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003: proceedings 0 索取号：TP311.1-532/E20041/7 作者：SCOPES 2003 (2003 : Vienna、 Austria)、Krall、 Andreas、 1960-、出版社：Berlin ; New York : Springer, 2003.
	Free electron lasers 2002 : proceedings of the 24th International Free Electron Laser Conference, and the 9th FEL Users Workshop, Argonne, Illinois, U.S.A., September 9-13, 2002 0 索取号：TN248.6-532/E20041/24 作者：International Free Electron Laser Conference (24th : 2002 : Argonne、 Ill.)、Kim、 K.- J.、Milton、 S. V.、Gluskin、 E.、出版社：Amsterdam ; Boston : Elsevier, 2003.		Optical properties of 2D systems with interacting electrons 0 索取号：O43-532/E20041 作者：NATO Advances Research Workshop "OpticalProperties of 2D Systems with Interacting Electrons" (2002 : Educational Center of the Ioffe Physico-Technical Institute)、Ossau、 Wolfgang J.、Suris、 R. A.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers : Published in cooperation with NATO Scientific Affairs Division, c2003.
	MobiDE 2003 : proceedings of the Third ACM International Workshop on Data Engineering for Wireless and Mobile Access : September 19, 2003, San Diego, California, USA 0 索取号：TN92-532/E20041/3 作者：ACM International Workshop on Data Engineering for Wireless and Mobile Access (3rd: 2003 : San Diego、 Calif.)、Labrinidis、 Alexandros.、Cherniack、 Mitch.、Banerjee、 Sujata.、Association for Computing Machinery. Special Interest Group on Management of Data.、ACM SIGMOBILE.、Association for Computing Machinery.、International Conference on Mobile Computing and Networking (9th : 2003 : San Diego、 Calif.)、出版社：New York, N.Y. : Association for Computing Machinery, 2003.		ACM MSWiM 2003 : proceedings of the 6th ACM International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM), September 19th, 2003, San Diego, California, USA 0 索取号：TN92-532/E20042/6 作者：ACM International Workshop on Modeling、 Analysis and Simulation of Wireless and Mobile Systems (6th : 2003 : San Diego、 California、 USA)、Chiasserini、 Carla-Fabiana.、ACM SIGMOBILE.、IEEE Computer Society.、出版社：New York, N.Y. : Association for Computing Machinery, c2003.
	Post-colonial Chinese literatures in Singapore and Malaysia 0 索取号：I330.065/E20031 作者：Wong、 Yoon Wah.、National University of Singapore. Dept. of Chinese Studies.、出版社：Singapore : Department of Chinese Studies, National University of Singapore, Global Publishing, 2002.		Vector bundles and representation theory: Conference on Hilbert Schemes, Vector Bundles, and Their Interplay with Representation Theory, April 5-7, 2002, University ofMissouri, Columbia 0 索取号：O18-532/E20041 作者：Conference on Hilbert Schemes、 Vector Bundles、 and Their Interplay with Representation Theory (2002 : University of Missouri--Columbia).、Cutkosky、 Steven Dale.、出版社：Providence, R.I. : American Mathematical Society, c2003.
	Function spaces : Fourth Conference on Function Spaces, May 14-19, 2002, Southern Illinois University at Edwardsville 0 索取号：O177-532/E20041 作者：Conference on Function Spaces (4th : 2002 : Southern Illinois University at Edwardsville).、Jarosz、 Krzysztof、 1953-、出版社：Providence, R.I. : American Mathematical Society, c2003.		Real and complex singularities : the sixth workshop at S?o Carlos 0 索取号：O189.3-532/E20041 作者：International Workshop on Real and Complex Singularities (6th : 2000 : ŜО Carlos、 ŜО Paulo、 Brazil)、Mond、 D. (David)、Saia、 Marcelo Jos、出版社：New York : Marcel Dekker, c2003.